The DVIDVI item can be used to carry out pagination tricks on a
selected DVI file.
For more information, select the DVIDVI item in 's Help menu.
After a DVI file has been selected, DVIDVI will look
in the Help-files folder for a file named ``DVIDVI examples''.
If found, its contents will be displayed just before the Options
prompt so that you can cut and paste the examples.